void updateClock(int own_vc[MAX_RING_NODES], int m_vc[MAX_RING_NODES]);
